📦 Closure Conversion - abnv · Scour

Python Closures: Coming from JavaScript

dev.to·1d·

Discuss: DEV

🔗Lexical Scoping

Functional Logic Program Transformations

arxiv.org·14h

🏭Functional Compilers

Type-Safe Routing Without the Build Step

werkbank.dev·58m·

Discuss: Hacker News

⚙️TOML Parsers

Introducing Names: practical namespaces for Emacs-Lisp

endlessparentheses.com·5h

🔧Scheme Macros

Kolmogorov Complexity

en.wikipedia.org·7h·

Discuss: Hacker News

λLambda Calculus

GNU C Language Manual

gnu.org·1m

🪄C Metaprogramming

Soundness bugs in Rust libraries: can't live with 'em, can't live without 'em

docs.rs·3h·

Discuss: Hacker News

🔒Rust Borrowing

Alexis King’s Blog

lexi-lambda.github.io·1d

🗂️Type Indexing

Discovering 100+ Compiler Defects in 72 Hours via LLM-Driven Semantic Logic Recomposition

arxiv.org·14h

🩺Compiler Diagnostics

Rust async combinators for elegant and secure concurrency

kerkour.com·13h·

Discuss: r/rust

🪆Embedded DSLs

Type-safe eval in Grace

haskellforall.com·1d·

Discuss: Lobsters, Hacker News

🌊Gradual Effects

Show HN: QRY – Natural Language to SQL Using Claude Code/Codex CLI

news.ycombinator.com·1h·

Discuss: Hacker News

📋Souffle Datalog

istmarc/tenseur: C++23 Tensor, neural networks and mathematical library

github.com·54m·

Discuss: r/cpp

🦀MIR Optimization

Google Releases FunctionGemma Model

i-programmer.info·2h

💬Smalltalk VMs

Designing a Programming Language for the Desert

futhark-lang.org·3h·

Discuss: Hacker News

🔄Bootstrapping

Dealing with alternatives

jemarch.net·1d

🔢Binary Formats

Making an LSP for great good

thunderseethe.dev·19h·

Discuss: Lobsters, Hacker News

Linking Zig from Haskell

agentultra.com·16h

⚙️Zig Comptime

Modernizing Legacy C Systems: Safe Rust Integration Without Complete Rewrites

dev.to·5h·

Discuss: DEV

🏗️Cranelift

abelianization of an additive category in nLab

ncatlab.org·3h

🔗Category Theory

Loading more...